منابع مشابه
Pattern Unification with Sequence Variables and Flexible Arity Symbols
A unification procedure for a theory with individual and sequence variables, free constants, free fixed and flexible arity function symbols and patterns is described. The procedure enumerates a set of substitution/constraint pairs which constitutes the minimal complete set of unifiers.
متن کاملPattern Unification with Sequence Variables, Flexible Arity Symbols
A unification procedure for a theory with individual and sequence variables, free constants, free fixed and flexible arity function symbols and patterns is described. The procedure enumerates a set of substitution/constraint pairs which constitutes the minimal complete set of unifiers.
متن کاملTopological Relations of Arrow Symbols in Complex Diagrams
Illustrating a dynamic process with an arrow-containing diagram is a widespread convention in people’s daily communications. In order to build a basis for capturing the structure and semantics of such diagrams, this paper formalizes the topological relations between two arrow symbols and discusses the influence of these topological relations on the diagram’s semantics. Topological relations of ...
متن کاملUnification with Flexible Arity Symbols: a Typed Approach
In this paper we extend unification of terms with flexible arity function symbols with regular expression operators such as repetition (*), alternation, etc, that are used as types allowing a compact representation of terms with functors with an arbitrary number of arguments. This new unification can then be used to unify subterms in the middle of complexes sequences of terms leading to a quite...
متن کاملString Unification , Spaghetti Diagrams and Infra - Red Fixed Points
We consider a scenario in which the minimal supersymmetric standard model (MSSM) is valid up to an energy scale of ∼ 10 16 GeV, but that above this scale the theory is supplemented by extra vector-like representations of the gauge group, plus a gauged U(1) X family symmetry. In our approach the extra heavy matter above the scale ∼ 10 16 GeV is used in two different ways: (1) to allow (two-loop)...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 1920
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.51.1322.436